(check (and (= (/ 2 4) 0) 
            (= (/ 2 4.0) 0.5)))
